🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔒 Linear Types

Resource Management, Rust Ownership, Session Types, Protocol Safety

Stable, Mutable References for Ante
antelang.org·3h·
Discuss: Hacker News, r/programming
🔒Type Safety
Rust for JavaScript Engineers – Intro
afloat.boats·1d·
Discuss: Hacker News
🦀Rust Macros
Sets & Heaps in Haskell and Rust
mmhaskell.com·8h
🔒Type Safety
Claude Code's 19 cent Parser
blogger.com·4h
🔧Binary Parsers
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·1h·
Discuss: DEV
🔒Type Safety
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
🦀Rust Borrowing
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·17h
🧪Binary Fuzzing
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·12h·
Discuss: Hacker News
🔓Password Cracking
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·6h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Typeclassopedia
wiki.haskell.org·14h·
Discuss: Hacker News
🧬Functional Programming
Teaching programming languages
kmjn.org·5h
💻Programming languages
FreeBSD Jails are Simple and Easy
freebsdfoundation.org·1h
📦Container Security
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·2h·
Discuss: Hacker News
🌳Archive Merkle Trees
TypeScript: Enable Strict Mode by Default
github.com·40m·
Discuss: Hacker News
🎯Gradual Typing
Meson 1.9 Released With New Rust Features, Adds Swift/C++ Interoperability
phoronix.com·6h
🦀Rust Borrowing
SRE Weekly Issue #491
sreweekly.com·15h
👁️System Observability
Capture Checking in Scala
nrinaudo.github.io·11h·
Discuss: Hacker News
🧪Binary Fuzzing
5 Core I/O Models Every Software Engineer Should Know
alexpham.dev·1d·
Discuss: r/programming
🔩Systems Programming
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·3h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Loading...Loading more...
AboutBlogChangelogRoadmap